[[Finite geometry MOC]]
# Finite projective plane

A **finite projective plane** is an [[abstract projective plane]] $\Pi = (\mathcal{P}, \mathcal{E}, \I)$ for which there exists finitely many points[^lines]. #m/def/geo/fin

[^lines]: or equivalently finitely many lines, if one holds both hold, see [[Number of points in a finite projective plane]].

## Properties

1. [[Number of points in a finite projective plane]]

#
---
#state/tidy | #lang/en | #SemBr